-
1 proof by exhaustion
Большой англо-русский и русско-английский словарь > proof by exhaustion
-
2 proof by exhaustion
Математика: доказательство путём полного перебора вариантов -
3 proof by exhaustion
English-Russian electronics dictionary > proof by exhaustion
-
4 proof by exhaustion
The New English-Russian Dictionary of Radio-electronics > proof by exhaustion
-
5 proof by exhaustion
களைமுறை நிறுவல் -
6 proof by exhaustion
Англо-русский словарь по исследованиям и ноу-хау > proof by exhaustion
-
7 exhaustion
1) истощение; исчерпание2) откачивание; отсасывание3) разрежение; создание вакуума4) изнеможение; изнурение5) обеднение•method of geometric exhaustion — матем. метод геометрического исчерпывания
proof by exhaustion — матем. доказательство путем полного перебора вариантов
-
8 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
9 proof
1) доказательство || являющийся доказательством; доказывающий2) математическая или арифметическая проверка3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- abstract proof
- color proof
- deductive proof
- digital proof
- digital color proof
- direct proof
- direct digital color proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- theoretical proof
- zero-knowledge proof -
10 proof
1) доказательство || являющийся доказательством; доказывающий3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- color proof
- deductive proof
- digital color proof
- digital proof
- direct digital color proof
- direct proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- proof by contradiction
- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- theoretical proof
- zero-knowledge proofThe New English-Russian Dictionary of Radio-electronics > proof
-
11 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
12 product
сущ.1)а) эк. продукт, изделие, товар (предмет, созданный человеком, машиной или природой; чаще всего имеются в виду предметы, созданные с целью продажи); мн. продукцияfood products — продукты, продовольственные товары
high-quality product — товар высокого качества, высококачественный [первоклассный\] товар
premium quality [premium grade\] product — товар высшего сорта [качества\], товар класса премиум-класса
undiscounted products — товары, продаваемые без скидки
fairly-priced product — товар по приемлемой [справедливой\] цене
See:acceptable product, accessory product, actual product, adulterated product, advanced technology products, ageing product, agricultural product, alimentary products, allied products, all-meat product, alternative products, ancillary product, anonymous product, augmented product, bakery products 1), basic product, beauty product, best-selling product, business products, by-product 1), &3, capitalized product, captive product, characteristic product, 2), co-product, commercialized product, commodity product, common product, comparable products, competing products, competiting products, competitive product, competitive products, complementary products, complete product, complicated product, conforming product, consumer products, consumer durable product, convenience products, core product, crop products, custom-designed product, customized product, custom-made product, declining product, deficient product, dehydrated product, differentiated product, diminishing marginal product, disposable product, diversified products, DIY product, do-it-yourself product, domestic product, durable products, egg product, electronics products, end product 2), &3, energy-saving product, entrenched product, essential product, established product, ethical product, ethnic product, everyday product, exclusive product, export products, fair trade product, fairly traded product, fairtrade product, fighting product, final product 1), а&2, financial product, food products, foreign products, formal product, functional product, generic product, global product, green products, grooming product, hair-care product, half-finished product, harmful product, health product, hedonic product, heterogeneous product, high performance product, high quality product, high-interest product 1), high-involvement products, high-margin product, high-reliability product, high-risk product, high-tech product, high-turnover product, high-value product, home-grown product, home-produced product, homogeneous product, hot product, household cleaning product, household maintenance products, household product, hygiene product, imitative product, imperfect product, import products, import-sensitive products, impulse product, industrial product, inferior product, information product, innovative product, in-process product, intangible product, interlocking products, intermediate product, investigated product, joint product, key product, knowledge-intensive product, known product, laundry products, lead product, leading edge product, leisure products, leisure-time products, licensed product, line extension product, livestock product, low-interest product 1), low-involvement products, low-value product, luxury product, main product 2), &3, manufactured products, marginal physical product, marginal product, mature product, me-too product, metal product, misbranded product, multinational product, multiple-use product 2), mundane product, national product, necessary product, necessity product, new product, no-name product, nonconforming product, non-conforming product, non-durable products, nonfood products, non-standard product, novel product, office products, off-price product, off-standard product, oil products, one-shot product, optional product, over-engineered product, paper products, parity products, patentable product, patented product, patent-protected product, payment product, pension product, pharmaceutical product, physical product, plant products, potential product, premium product, prestige products, price-sensitive product, primary products, prime product, printed products, private brand products, private label products, processed product, qualified product, quality products, ready-made product, rejected product, related product, replacement product, representative product, retirement product, revenue product, revised product, safe product, saleable product, salutary product, satisfactory product, scarce product, second generation product, secondary product, semi-finished products, shoddy product, sideline product, single-use product, skill-intensive product, slow-moving product, social product, sophisticated product, standardized products, sugared product, superior product, supplementary products, surplus product, synthetic product, tainted products, tangible product, tied product, tied products, tinned products, tobacco products 1), tying products, unacceptable product, unbranded product, unidentified product, unpatented product, unsafe product, unsaleable product, unsatisfactory product, utilitarian product, vendible product, viable product, wanted product, well-designed product, worthwhile product, product acceptability, product acceptance, product adaptability, product adaptation, product addition, product advertising, product analysis, product announcement, product application, product area, product arsenal, product assessment, product association, product assortment, product assurance, product augmentation, product availability, product awareness, product benefit, product billing, product brand, product branding, product bundling, product capabilities, product category, product choice, product claim, product class, product classification, product company, product compatibility, product competition, product comprehension, product concept, product conception, product control, product copy, product cost, product costing, product coverage, product cycle, product decision, product deletion, product demand, product demonstration, product departmentalization, product design, product development, product differences, product differentiation, product display, product distribution network, product diversification, product division, product element, product elimination, product engineering, product enhancement, product evaluation, product evolution, product exchange, product exhaustion, product expansion, product extension, product failure, product family, product field, product flows, product form, product graduation, product group, product homogeneity, product idea, product image, product improvement, product inflation, product innovation, product inspection, product integrity, product introduction, product invention, product item, product knowledge, product label, product labelling, product layout, product leveraging, product liability, product life, product life cycle, product line, product lineup, product literature, product management, product manager, product manual, product market, product marketing, product matching, product message, product mix, product modification, product name, product nameplate, product offering, product opportunity, product organization, product orientation, product origin, product patent, product perception, product performance, product personality, product placement, product plan, product planner, product planning, product policy, product portfolio, product position, product positioning, product preference, product presentation, product price, product pricing, product profile, product proliferation, product promotion, product proof, product protection, product publicity, product puffery, product quality, product quantity, product range, product rationalization, product recall, product release, product requirements, product research, product research and development, product retailer, product revision, product revolution, product safety, product sales, product sample, product sampling, product satisfaction, product segment, product segmentation, product shortage, product specialization, product specifications, product standard, product statement, product strategy, product structure, product style, product styling, product subline, product superiority, product survey, product tangibility, product team, product technology, product test, product testimony, product testing, product trial, product type, product uniformity, product usage, product validation, product variation, product variety, product warranty, endorse a product, Central Product Classification, Certificate of Pharmaceutical Product, Chemical and Allied Products Merchant Wholesalers, Clay Product and Refractory Manufacturing, debt-for-products swapб) эк. продукт, объем продукции ( количество произведенных товаров или услуг)company's product — продукция компании, товары компании
See:2) общ. результат, продукт (итог какой-л. деятельности)History is the product of social and economic forces. — История — это результат взаимодействия общественных и экономических факторов.
the product of this activity is radiation — в результате этой деятельности появляется радиация.
See:3) мат. произведение ( результат умножения двух чисел)
* * *
продукт, товар: что-либо производимое для продажи.* * ** * *. . Словарь экономических терминов .* * * -
13 ♦ heat
♦ heat /hi:t/n.1 [u] ( anche fis., tecn.) calore: the heat of the sun, il calore del sole; the heat of the day, il (calore del) meriggio; radiant heat, calore radiante3 [u] caldo; calore: to suffer from the heat, soffrire per il (gran) caldo; sultry heat, caldo afoso (o soffocante); oppressive heat, caldo opprimente; heat wave, ondata di caldo5 [u] (fam.) fuoco ( di fornello); fiamma; fornello: Remove the saucepan from the heat, togliete la pentola dal fuoco; low heat, fiamma bassa6 [u] (fig.) calore; ardore; fervore; eccitazione; foga; impeto: in the heat of the discussion, nella foga della discussione; in the heat of the battle, nel fervore della battaglia; nel mezzo della mischia; in the heat of the moment, nell'eccitazione del momento; nella foga; a caldo7 [u] sapore piccante8 ( sport) eliminatoria; batteria: qualifying heat, batteria di qualificazione; heat winner, vincitore di eliminatoria; testa di serie9 (metall.) infornata; colata10 [u] (zool.) calore; estro: a bitch on heat ( USA: in heat), una cagna in calore; to go into (o in) heat, andare in calore11 [u] (med.) stato febbrile12 [u] (fig. fam.) pressione; difficoltà; critiche; attacchi: to put the heat on sb., mettere q. sotto pressione; to take the heat off (sb.), allentare la pressione (su q.); liberare (q.) dalle accuse (o dai sospetti); to take the heat out of st., disinnescare qc.; sdrammatizzare qc.; to turn up the heat, aumentare la pressione; The heat is on, la pressione è forte; si comincia a fare sul serio● (aeron.) heat barrier, barriera termica; muro del calore □ (fis.) heat conductivity, conducibilità termica □ heat convector, termoconvettore □ (fis.) heat death, morte termica □ (fis.) heat engine, macchina termica; motore termico □ (tecn.) heat exchanger, scambiatore di calore □ (med.) heat exhaustion, collasso da calore □ heat haze, foschia da calore; miraggio inferiore □ heat island, area (spec., città) in cui la temperatura è sensibilmente più elevata che nel territorio circostante; isola di calore □ (elettr.) heat lamp, lampada a raggi infrarossi □ heat lightning, lampi estivi ( per la calura); fulmine muto □ heat-proof, a prova di calore; atermico □ (tecn.) heat pump, pompa di calore □ (med.) heat rash, miliaria □ heat-resistant, resistente al calore; termoresistente; refrattario □ (miss.: di un razzo) heat-seeking, termico; autoguidato a infrarossi □ (miss.) heat shield, scudo termico □ heat sink, (elettr.) dissipatore di calore; (tecn.) pozzo di calore □ heat treatment, (med.) termoterapia; (metall.) trattamento termico □ (fig.) If you can't stand the heat, get out of the kitchen, se non riesci a resistere alla pressione (o al peso delle responsabilità, agli attacchi), fatti da parte.♦ (to) heat /hi:t/A v. t.scaldare; riscaldare; infiammare (fig.): to heat (up) a room, scaldare una stanza; to heat up some broth, riscaldare del brodo1 scaldarsi; riscaldarsi2 (fig.) accalorarsi; infiammarsi
См. также в других словарях:
Proof by exhaustion — Proof by exhaustion, also known as proof by cases, perfect induction, or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases, and each case is proved separately. A… … Wikipedia
proof by exhaustion — noun The indirect verification or falsification of a statement by the verification or falsification of each of the finite number of cases which arise therefrom … Wiktionary
Proof by verbosity — is a term used to describe an excessively verbose mathematical proof that may or may not actually prove the result. Such proofs are most often presented by students who don t fully grasp the concepts they are writing about. Students presenting… … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Method of exhaustion — This article is about the method of finding the area of a shape using limits. For the method of proof, see Proof by exhaustion. The method of exhaustion (methodus exhaustionibus, or méthode des anciens) is a method of finding the area of a shape… … Wikipedia
Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia
Direct proof — In mathematics and logic, a direct proof is a way of showing the truth or falsehood of a given statement by a straightforward combination of established facts, usually existing lemmas and theorems, without making any further assumptions. In order … Wikipedia
Kepler conjecture — In mathematics, the Kepler conjecture is a conjecture about sphere packing in three dimensional Euclidean space. It says that no arrangement of equally sized spheres filling space has a greater average density than that of the cubic close packing … Wikipedia
Exhaust — may refer to:In mathematics: *Proof by exhaustion, proof by examining all individual cases *Exhaustion by compact sets, in analysis, a sequence of compact sets that converges on a given set *Collectively exhaustive, in probability and set theory … Wikipedia
Experimental mathematics — For the mathematical journal of the same name, see Experimental Mathematics (journal) Experimental mathematics is an approach to mathematics in which numerical computation is used to investigate mathematical objects and identify properties and… … Wikipedia
Полный перебор — У этого термина существуют и другие значения, см. Перебор. Полный перебор (или метод «грубой силы», англ. brute force) метод решения математических задач. Относится к классу методов поиска решения исчерпыванием всевозможных… … Википедия